Towards Assurance for Plug & Play Medical Systems
نویسندگان
چکیده
Traditional safety-critical systems are designed and integrated by a systems integrator. The system integrator can asses the safety of the completed system before it is deployed. In medicine, there is a desire to transition from the traditional approach to a new model wherein a user can combine various devices post-hoc to create a new composite system that addresses a specific clinical scenario. Ensuring the safety of these systems is challenging: Safety is a property of systems that arises from the interaction of system components and it’s not possible to asses overall system safety by assessing a single component in isolation. It is unlikely that end-users will have the engineering expertise or resources to perform safety assessments each time they create a new composite system. In this paper we describe a platform-oriented approach to providing assurance for plug & play medical systems as well as an associated assurance argument pattern.
منابع مشابه
Making Plug and Play Safe for Networked Medical Devices
Building “plug-and-play” systems in which multiple devices can be integrated on the fly, and new devices can be added, removed, and modified dynamically during system operation, offers significant potential benefits for the medical community. However, due to the critical health and safety issues associated with medical devices, it is essential to maintain high confidence in the correct function...
متن کاملRequirement Engineering for Functional Alarm System for Interoperable Medical Devices
This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are diferent from most cyber-physical systems due to their "plugand-play" nature: they are assembled as needed at a patient's bedside according to a specification that captures the clinical scenario and required device types. We need to ensure th...
متن کاملRecent Advancements towards Full-System Microfluidics
Microfluidics is quickly becoming a key technology in an expanding range of fields, such as medical sciences, biosensing, bioactuation, chemical synthesis, and more. This is helping its transformation from a promising R&D tool to commercially viable technology. Fuelling this expansion is the intensified focus on automation and enhanced functionality through integration of complex electrical...
متن کاملFrom Offline towards Real-time: A Hybrid System model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play Collaborations
Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical systems (CPS). However, when applying hybrid systems model checking to Medical Device Plug-and-Play (MDPnP) CPS, we encounter two challenges due to the complexity of human body: i) there are no good offline differential equation based models for many human body parameters; ii) the ...
متن کاملModel Smells In Uml Class Diagrams
Models are the primary artifacts in software development processes following the model-based paradigm. Especially in Model Driven Software Development (MDSD), models become primary artifacts where quality assurance of the overall software product considerably relies on the quality assurance of involved software models. In this report the approach is focused towards the importance of Model Drive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015